<div>
  A Jenkins-specific name by which this tool installation can be identified.
</div>
